independence probability definition